Geoff Sutcliffe - PDFSEARCH.IO - Document Search Engine

Geoff Sutcliffe
Results: 16

#	Item
11	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
12	TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism Jasmin Christian Blanchette1 and Andrei Paskevich2,3 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www4.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Type theory Formal methods Model theory Functional programming Data types Symbol Satisfiability Modulo Theories Hindley–Milner Geoff Sutcliffe Theoretical computer science Mathematics Mathematical logic
13	Progress in the Development of Automated Theorem Proving for Higher-order Logic? Geoff Sutcliffe1 , Christoph Benzm¨ uller2 , 3 Add to Reading List Source URL: www.boldsolutions.de Language: English - Date: 2011-03-22 14:11:30 Logic Geoff Sutcliffe CADE ATP System Competition TPTP Vampire Automated reasoning First-order logic Proof assistant Logic programming Automated theorem proving Mathematical logic Theoretical computer science
14	The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2009-07-26 04:55:53 Formal methods Vampire E theorem prover CADE ATP System Competition Geoff Sutcliffe CASC Software Theoretical computer science Automated theorem proving
15	SPASS-XDB goes Mathematical David Stanovsk´ y1 , Martin Suda2 , and Geoff Sutcliffe3 Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-01-12 07:27:42 Automated theorem proving Logic in computer science Formal methods Mathematical logic Axiom Automated reasoning SPASS Geoff Sutcliffe Mathematical proof Mathematics Theoretical computer science Mathematical software
16	PDF Document Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-07-17 03:24:03 Automated theorem proving Formal methods E theorem prover Vampire CADE ATP System Competition Logic in computer science Geoff Sutcliffe Automated reasoning CASC Logic Mathematics Mathematical logic